interval temporal logic
区间时态逻辑
热门查询
- parochial adj. 教区的；狭小的；地方范围的
- ballerina n. 芭蕾舞女演员，芭蕾舞女
- Gracie n. 格雷西(Grace的异体)(f.)
- lepton n. 轻粒子（希腊的货币单位，古希腊的最小硬币）
- Orphic adj. 神秘的；俄耳普斯的；俄耳普斯教的
- paradigmatic adj. 词形变化的；范例的
- videoconferencing v. 视频会议（videoconference的现在分词）
- dormer n. 老虎窗；屋顶采光窗 n. (Dormer)人名；(法)多尔梅；(英)多默
- unseasonably adv. 不合时令地；不合时宜地；不适时地
- screamer n. 尖声叫喊的人；令人惊叹的事；惊叹符号；耸人听闻的标题
- stainless adj. 不锈的；纯洁的，未被玷污的；无瑕疵的
- docking n. 入坞 adj. 入坞的 v. 入港；为…设置船坞（dock的ing形式） n. (Docking)人名；(英)多金
- police force n. 警察部队 [网络] 警力；警察力量；警察机关
- indissolubly adv. 不能溶解地；不可分解地
- hock n. 抵押，[贸易] 典当；肘关节 vt. [贸易] 典当 n. (Hock)人名；(东南亚国家华语)福；(德、英、匈)霍克
- ladder n. 阶梯；途径；梯状物 vi. 成名；发迹 vt. 在……上装设梯子
- Serrano n. 墨西哥辣椒
- plaything n. 玩物；玩具；被玩弄的人
- papyrus n. 纸莎草；纸莎草纸
- Ionian n. 爱奥尼亚人；爱奥尼亚 adj. 爱奥尼亚的；爱奥尼亚式的；爱奥尼亚人的
